python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py rabin.20.jani -c ../probfd-qcomp19/jani-to-ppddl/config_rabin.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py rabin.20-domain.ppddl rabin.20-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Parsing...
Parsing: [0.160s CPU, 0.163s wall-clock]
Normalizing task... [0.010s CPU, 0.009s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.016s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.350s CPU, 0.344s wall-clock]
Preparing model... [0.210s CPU, 0.203s wall-clock]
Generated 11641 rules.
Computing model...
----------
Computation aborted after 1801.0809304714203 seconds since the total time limit of 1800 seconds was exceeded.